Bruno Buchberger (auth.): pesquisar na Z-Library

Sua porta de entrada para o conhecimento e a cultura. Acessível para todos.

Don't use scam websites

Livros (22)
Mais populares
Lista
- Lista
- Tabela

1

Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

Springer-Verlag Berlin Heidelberg

Bruno Buchberger (auth.), Ulrich Furbach, Natarajan Shankar (eds.)

Ano:

2006

Idioma:

english

Arquivo:

PDF, 6.12 MB

0 / 0

english, 2006

2

Computer Algebra: Symbolic and Algebraic Computation

Computer Algebra: Symbolic and Algebraic Computation

Springer Vienna

Prof. Dr. R. Loos (auth.), Prof. Dr. Bruno Buchberger, Prof. Dr. George Edwin Collins, Prof. Dr. Rüdiger Loos (eds.)

Ano:

1982

Idioma:

english

Arquivo:

PDF, 6.13 MB

0 / 0

english, 1982

3

EUROCAL '85: European Conference on Computer Algebra Linz, Austria, April 1–3 1985 Proceedings Vol. 1: Invited Lectures

EUROCAL '85: European Conference on Computer Algebra Linz, Austria, April 1–3 1985 Proceedings Vol. 1: Invited Lectures

Springer-Verlag Berlin Heidelberg

B. F. Caviness (auth.), Bruno Buchberger (eds.)

Ano:

1985

Idioma:

english

Arquivo:

DJVU, 2.22 MB

0 / 0

english, 1985

4

Computer Aided Systems Theory — EUROCAST 2001: A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 19–23, 2001 Revised Papers

Computer Aided Systems Theory — EUROCAST 2001: A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 19–23, 2001 Revised Papers

Springer-Verlag Berlin Heidelberg

Bruno Buchberger (auth.), Roberto Moreno-Díaz, Bruno Buchberger, José Luis Freire (eds.)

Ano:

2001

Idioma:

english

Arquivo:

PDF, 9.35 MB

0 / 0

english, 2001

5

Hagenberg Research

Hagenberg Research

Springer-Verlag Berlin Heidelberg

Bruno Buchberger (auth.), Bruno Buchberger, Michael Affenzeller, Alois Ferscha, Michael Haller, Tudor Jebelean, Erich Peter Klement, Peter Paule, Gustav Pomberger, Wolfgang Schreiner, Robert Stubenrauch, Roland Wagner, Gerhard Weiß, Wolfgang Windsteiger (

Ano:

2009

Idioma:

english

Arquivo:

PDF, 12.77 MB

0 / 5.0

english, 2009

6

Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004. Proceedings

Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Markus Rosenkranz (auth.), Bruno Buchberger, John Campbell (eds.)

Ano:

2004

Idioma:

english

Arquivo:

DJVU, 2.49 MB

0 / 0

english, 2004

7

Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '93 Gmunden, Austria, September 15–17, 1993 Proceedings

Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '93 Gmunden, Austria, September 15–17, 1993 Proceedings

Springer-Verlag Berlin Heidelberg

Bruno Buchberger (auth.), Alfonso Miola (eds.)

Ano:

1993

Idioma:

english

Arquivo:

DJVU, 4.08 MB

0 / 0

english, 1993

8

Parallel Processing: CONPAR 94 — VAPP VI: Third Joint International Conference on Vector and Parallel Processing Linz, Austria, September 6–8, 1994 Proceedings

Parallel Processing: CONPAR 94 — VAPP VI: Third Joint International Conference on Vector and Parallel Processing Linz, Austria, September 6–8, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Kai Hwang (auth.), Bruno Buchberger, Jens Volkert (eds.)

Ano:

1994

Idioma:

english

Arquivo:

DJVU, 9.95 MB

0 / 0

english, 1994

9

Mathematik für Informatiker I: Die Methode der Mathematik

Mathematik für Informatiker I: Die Methode der Mathematik

Springer Berlin Heidelberg

Bruno Buchberger, Franz Lichtenberger (auth.)

Ano:

1980

Idioma:

german

Arquivo:

PDF, 17.59 MB

0 / 0

german, 1980

10

Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '93 Gmunden, Austria, September 15–17, 1993 Proceedings

Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '93 Gmunden, Austria, September 15–17, 1993 Proceedings

Springer-Verlag Berlin Heidelberg

Bruno Buchberger (auth.), Alfonso Miola (eds.)

Ano:

1993

Idioma:

english

Arquivo:

PDF, 21.88 MB

0 / 0

english, 1993

11

Parallel Processing: CONPAR 94 — VAPP VI: Third Joint International Conference on Vector and Parallel Processing Linz, Austria, September 6–8, 1994 Proceedings

Parallel Processing: CONPAR 94 — VAPP VI: Third Joint International Conference on Vector and Parallel Processing Linz, Austria, September 6–8, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Kai Hwang (auth.), Bruno Buchberger, Jens Volkert (eds.)

Ano:

1994

Idioma:

english

Arquivo:

PDF, 14.67 MB

0 / 0

english, 1994

12

Computer Algebra: Symbolic and Algebraic Computation

Computer Algebra: Symbolic and Algebraic Computation

Springer-Verlag Wien

Prof. Dr. R. Loos (auth.), Prof. Dr. Bruno Buchberger, Prof. Dr. George Edwin Collins, Prof. Dr. Rüdiger Loos, Prof. Dr. Rudolf Albrecht (eds.)

Ano:

1983

Idioma:

english

Arquivo:

PDF, 6.86 MB

0 / 0

english, 1983

13

EUROCAL '85: European Conference on Computer Algebra Linz, Austria, April 1–3 1985 Proceedings Vol. 1: Invited Lectures

EUROCAL '85: European Conference on Computer Algebra Linz, Austria, April 1–3 1985 Proceedings Vol. 1: Invited Lectures

Springer-Verlag Berlin Heidelberg

B. F. Caviness (auth.), Bruno Buchberger (eds.)

Ano:

1985

Idioma:

english

Arquivo:

DJVU, 2.20 MB

0 / 0

english, 1985

14

Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16–18, 2003 Proceedings

Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16–18, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Andrew A. Adams (auth.), Andrea Asperti, Bruno Buchberger, James Harold Davenport (eds.)

Ano:

2003

Idioma:

english

Arquivo:

PDF, 2.02 MB

0 / 0

english, 2003

15

Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004. Proceedings

Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Markus Rosenkranz (auth.), Bruno Buchberger, John Campbell (eds.)

Ano:

2004

Idioma:

english

Arquivo:

PDF, 3.15 MB

0 / 0

english, 2004

16

Hagenberg research

Hagenberg research

Springer-Verlag Berlin Heidelberg

Bruno Buchberger (auth.), Bruno Buchberger, Michael Affenzeller, Alois Ferscha, Michael Haller, Tudor Jebelean, Erich Peter Klement, Peter Paule, Gustav Pomberger, Wolfgang Schreiner, Robert Stubenrauch, Roland Wagner, Gerhard Weiß, Wolfgang Windsteiger (

Ano:

2009

Idioma:

english

Arquivo:

PDF, 12.62 MB

0 / 0

english, 2009

17

Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16–18, 2003 Proceedings

Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16–18, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Andrew A. Adams (auth.), Andrea Asperti, Bruno Buchberger, James Harold Davenport (eds.)

Ano:

2003

Idioma:

english

Arquivo:

PDF, 2.91 MB

0 / 0

english, 2003

18

Rewriting Techniques and Applications: Dijon, France, May 20–22, 1985

Rewriting Techniques and Applications: Dijon, France, May 20–22, 1985

Springer-Verlag Berlin Heidelberg

Bruno Buchberger (auth.), Jean-Pierre Jouannaud (eds.)

Ano:

1985

Idioma:

english

Arquivo:

DJVU, 3.59 MB

0 / 0

english, 1985

19

Mathematik für Informatiker I: Die Methode der Mathematik

Mathematik für Informatiker I: Die Methode der Mathematik

Springer-Verlag Berlin Heidelberg

Bruno Buchberger, Franz Lichtenberger (auth.)

Ano:

1981

Idioma:

german

Arquivo:

PDF, 9.96 MB

0 / 0

german, 1981

20

Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16–18, 2003 Proceedings

Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16–18, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Andrew A. Adams (auth.), Andrea Asperti, Bruno Buchberger, James Harold Davenport (eds.)

Ano:

2003

Idioma:

english

Arquivo:

PDF, 2.54 MB

0 / 0

english, 2003

21

Hagenberg research

Hagenberg research

Springer-Verlag Berlin Heidelberg

Bruno Buchberger (auth.), Bruno Buchberger, Michael Affenzeller, Alois Ferscha, Michael Haller, Tudor Jebelean, Erich Peter Klement, Peter Paule, Gustav Pomberger, Wolfgang Schreiner, Robert Stubenrauch, Roland Wagner, Gerhard Weiß, Wolfgang Windsteiger (

Ano:

2009

Idioma:

english

Arquivo:

PDF, 10.74 MB

0 / 0

english, 2009

22

Rechnerorientierte Verfahren

Rechnerorientierte Verfahren

Vieweg+Teubner Verlag

Prof. Dr. phil. Bruno Buchberger, Dipl.-Ing. Berhard Kutzler, Prof. Dr. rer. nat. Manfred Feilmeier, Dr. rer. nat. Matthias Kratz, Prof. Dr. rer. nat. Ulirch Kulisch, Priv.-Doz. Dr. rer. nat. Siegfried Rump (auth.)

Ano:

1986

Idioma:

german

Arquivo:

PDF, 8.13 MB

0 / 0

german, 1986